//]]>
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Ueda, Kazunori. Publication: . X, 440p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and the Foundations of Game and Decision Theory – LOFT 8 by Bonanno, Giacomo. Publication: . XI, 207p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2010 by Hliněný, Petr. Publication: . XVII, 714p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Engineering by Müller-Hannemann, Matthias. Publication: . XVI, 513 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XII by Peters, James F. Publication: . X, 339p. 5 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Abramsky, Samson. Publication: . XXIII, 754p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Dawar, Anuj. Publication: . X, 259p. 28 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Ablayev, Farid. Publication: . XI, 397p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Ong, Luke. Publication: . XV, 389p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Link, Sebastian. Publication: . XII, 363 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XI by Peters, James F. Publication: . IX, 189 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Argument of Mathematics by Aberdein, Andrew. Publication: . X, 393 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية